منابع مشابه
A Logical Process Calculus
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...
متن کاملHybrid Logical Analyses of the Ambient Calculus
In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated in a natural way. We show that hybrid logic is very well suited to express the semantic structure of ...
متن کاملA logical calculus for polynomial-time realizability
A logical calculus, not unlike Gentzen's sequent calculus for intuitionist logic, is described which is sound for polynomial-time realizability as deened by Crossley and Remmel. The sequent calculus admits cut elimination, thus giving a decision procedure for the propositional fragment. 0 Introduction In 4], a restricted notion of realizability is introduced, a special case of which is polynomi...
متن کاملA Logical Calculus of Meaning and Synonymy
In his development of formal semantics for natural language Montague [1970a]– Montague [1973], Richard Montague modeled the meaning (Frege’s sense) of a term A by its Carnap intension CI(A), the function which assigns to each state a, specifying a “possibleworld”, “time” and“context of use”, the denotationden(A)(a) of A in that state. Now this is surely not right: among other things, it makes “...
متن کاملA Process Calculus with Logical Operators
In order to combine operational and logical styles of specifications in one unified framework, the notion of logic labelled transition systems (Logic LTS, for short) has been presented and explored by Lüttgen and Vogler in [TCS 373(12):19-40; Inform. & Comput. 208:845-867]. In contrast with usual LTS, two logical constructors ∧ and ∨ over Logic LTSs are introduced to describe logical combinatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1892
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/1.2.235